Tom Vaughan

Von Neumann Algebras . Vaughan

The purpose of these notes is to provide a rapid introduction to von Neumann algebras which gets to the examples and active topics with a minimum of technical baggage. In this sense it is opposite in spirit from the treatises of philosophy is to lavish attention on a few key results and examples, and we prefer to make simplifying assumptions rather than go for the most general case. Thus we do ...

Some Moment calculations . Vaughan

Tom.

On Vaughan Pratt's crossword problem

Vaughan Pratt has introduced objects consisting of pairs (A, W ) where A is a set and W a set of subsets of A, such that (i) W contains ∅ and A, (ii) if C is a subset of A×A such that for every a ∈ A, both {b | (a, b) ∈ C} and {b | (b, a) ∈ C} are members of W (a “crossword” with all “rows” and “columns” in W ), then {b | (b, b) ∈ C} (the “diagonal word”) also belongs to W, and (iii) for all di...

LINGOL — A Progress Report Vaughan

LINGOL is a linguistics oriented programming language. We describe briefly work in progress on a large-scale LINGOL program designed to demonstrate the value of LINGOL as a research tool in the writing of natural language programs. Attention is then focused on the parsing algorithm used in LINGOL. It is shown that for the class of interpretive context-free parsers that do no backing up or looka...